Skip to content

Add PHP support - #199

Merged
langston-barrett merged 4 commits into
langston-barrett:mainfrom
JuanCortezEclyp:feature/add_php_support
Sep 23, 2025
Merged

Add PHP support#199
langston-barrett merged 4 commits into
langston-barrett:mainfrom
JuanCortezEclyp:feature/add_php_support

Conversation

@JuanCortezEclyp

Copy link
Copy Markdown
Contributor

Hey Langston, this PR aims to add support for PHP.

Also I have a question don't know if you know the answer but one of the generated relations is named float, have you got any idea if this conflicts with souffles builtin type 'float'? I tested compiling the relations file or running it over an empty set of facts and souffle hasn't complained yet.

I could change how the relations names that match with souffle's builtin types are generated, in case something breaks.

@langston-barrett

langston-barrett commented Sep 23, 2025

Copy link
Copy Markdown
Owner

Thanks for the contribution @JuanCortezEclyp!

Can you update the Cargo.lock file? CI is complaining:

error: the lock file /home/runner/work/treeedb/treeedb/Cargo.lock needs to be updated but --locked was passed to prevent this
If you want to try to generate the lock file without accessing the network, remove the --locked flag and use --offline instead.
make: *** [Makefile:11: build] Error 101

Let me know if you need help with this.

@langston-barrett
langston-barrett enabled auto-merge (squash) September 23, 2025 21:43
@langston-barrett

Copy link
Copy Markdown
Owner

Thank you!

@langston-barrett
langston-barrett merged commit 24f2c59 into langston-barrett:main Sep 23, 2025
2 of 3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants